Configurazione avanzata

warning

Questa parte della configurazione è per utenti esperti. Le impostazioni predefinite vanno bene per la maggior parte degli utenti.

• Memoria massima PHP: Limite massimo di memoria che PHP può consumare mentre esegue i file PHP della piattaforma. Per memoria illimitata, impostare a -1. Si consiglia di non andare mai sotto i 128 MB di RAM come limite e di aumentare questo valore in caso di bisogno. Per ulteriori informazioni, consultare la pagina del manuale di PHP. Valore predefinito: 128M
• Durata sessione (secondi): Durata massima del cookie di sessione in secondi. Valore predefinito: 3600
• URL API Importazione: Funzione per importazione da sistema esterno non documentata. Lasciare vuoto e ignorare questa opzione.

Redis

Dalla versione 3.1.1 è possibile utilizzare Redis per accelerare il sito. La configurazione di Redis varia in base al sistema operativo

Windows

Per usare Redis su Windows si può:

1. Installare Memurai. Molto limitato nella versione gratuita.
2. Installare WSL2 e installare Redis dentro WSL2 (Vedi Linux sotto)

Poi serve configurare l'estensione di Redis per PHP (non presente di default):

1. Scaricare l'ultima versione di PhpRedis per la vostra versione di PHP compilata per Windows
2. Copiare php_redis_ts.dll (per PHP Thread Safe) oppure php_redis_nts.dll (per PHP Non-Thread Safe) nella cartella delle estensioni di PHP come php_redis.dll
3. Scaricare OpenSSL e installarlo
4. Copiare libssl-4-x64.dll e libcrypto-4-x64.dll nella cartella delle estensioni di PHP
5. Aprire il file php.ini e nella sezione estensioni aggiungere extension=redis
6. Riavviare il web server

Linux

Supponendo di avere Debian:

apt-get update
apt-get install redis php-redis

Riavviare poi il proprio webserver o PHP FPM

Configurare Redis

La configurazione di Redis deve essere effettuata tramite il file config.php della piattaforma

if (!defined('REDIS_ENABLED')) {
    define('REDIS_ENABLED', false); // Imposta false per disabilitare la cache Redis.
}
if (!defined('REDIS_HOST')) {
    define('REDIS_HOST', '<REDIS_HOST>'); // Host Redis.
}
if (!defined('REDIS_PORT')) {
    define('REDIS_PORT', 6379); // Porta Redis.
}
if (!defined('REDIS_PASSWORD')) {
    define('REDIS_PASSWORD', ''); // Lascia vuoto se Redis non richiede autenticazione.
}
if (!defined('REDIS_TIMEOUT')) {
    define('REDIS_TIMEOUT', 0.5); // Timeout di connessione in secondi.
}

• REDIS_ENABLED: Attiva o disattiva Redis. Imposta su true per attivare.
• REDIS_HOST: Imposta l'host di Redis. Se installato sulla stesso server su cui gira la piattaforma, inserire localhost. È consigliato dedicare un'istanza alla piattaforma.
• REDIS_PORT: La porta su cui Redis ascolta. Se non modificata nel server Redis, usare la porta predefinita 6379.
• REDIS_PASSWORD: Impostare se è richiesta una password per connettersi a Redis.
• REDIS_TIMEOUT: Timeout di connessione al server Redis. Modificarlo se si riscontrano problemi. Non diminuirlo sotto a 0.5.

Verificare il funzionamento di Redis

1. Aprire la piattaforma e andare su Admin e su Informazioni.
2. Controllare la voce Redis, dovrebbe dire "Connesso".